rel-prover/forverl
Viewer • Updated • 244 • 23
AI & ML interests
None defined yet.
Recent Activity
View all activity
yuyi1hugging
updated a
dataset 6 days ago
yuyi1hugging
published a
dataset 6 days ago
yinyahuang
updated a
dataset 3 months ago
yinyahuang
authored 6
papers 10 months ago
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
Paper • 2406.14408 • Published
Process-Driven Autoformalization in Lean 4
Paper • 2406.01940 • Published
OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling
Paper • 2407.09887 • Published
AlignedCoT: Prompting Large Language Models via Native-Speaking Demonstrations
Paper • 2311.13538 • Published
LEXam: Benchmarking Legal Reasoning on 340 Law Exams
Paper • 2505.12864 • Published • 3
SeePhys: Does Seeing Help Thinking? -- Benchmarking Vision-Based Physics Reasoning
Paper • 2505.19099 • Published • 7