Search

Zhicheng Yang

OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling
Proving Theorems Recursively
Process-Driven Autoformalization in Lean 4
CLOMO: Counterfactual Logical Modification with Large Language Models
CLOMO: Counterfactual Logical Modification with Large Language Models (ACL 2024)
ATG: Benchmarking Automated Theorem Generation for Generative Language Models
AlignedCoT: Prompting Large Language Models via Native-Speaking Demonstrations

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.