FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
Paper
•
2406.14408
•
Published
AI & ML interests
formal verification, automated theorem proving, Isabelle
yinyahuang
authored
6
papers
3 months ago
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
•
2
SeePhys: Does Seeing Help Thinking? -- Benchmarking Vision-Based Physics Reasoning
Paper
•
2505.19099
•
Published
•
8
XiaoHLim
updated
a
dataset
about 1 year ago