Search

Xiaodan Liang

OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving (NeurIPS 2024 D&B Track)
Proving Theorems Recursively
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
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data (ICLR 2024 Spotlight)
LEGO-Prover: Neural Theorem Proving with Growing Libraries
AlignedCoT: Prompting Large Language Models via Native-Speaking Demonstrations
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
Discourse-Aware Graph Networks for Textual Logical Reasoning
Discourse-Aware Graph Networks for Textual Logical Reasoning (TPAMI 2023)
MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure
REM-Net: Recursive Erasure Memory Network for Commonsense Evidence Refinement
DAGN: Discourse-Aware Graph Network for Logical Reasoning
PathReasoner: Explainable reasoning paths for commonsense question answering

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