LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Python

AlloyEval

Replication and extension of 'On the Effectiveness of LLMs in Writing Alloy Formulas' (Hong et al., 2025)

PythonEmerging

Stars

—

Forks

—

Contributors

1

Last push

3mo ago

Recent commits

Latest commits.

Replace tex with compiled PDF, link from README
a3671e5Shmulik Cohen3mo ago
Rename to AlloyEval, add Alloy4Fun context, streamline README
e411965Shmulik Cohen3mo ago
Move GitHub link to title page, update URLs to AlloyEval
1aa607eShmulik Cohen3mo ago
Rename to AlloyEval, add Alloy4Fun reference for extended dataset
2e52041Shmulik Cohen3mo ago
Sync report.tex with report.md content
842c3c1Shmulik Cohen3mo ago

Revise report: expand methodology, fix factual errors, cut redundant sections

6f0376eShmulik Cohen3mo ago

a4d0d31Shmulik Cohen3mo ago

Remove pass@k from metrics (not used with n=3 solutions)

d73f832Shmulik Cohen3mo ago

Top contributors

Builders behind this project.