Yinya Huang
16 papers · 2021–2026 · 7 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+10 more ↓ Show less ↑
π Cross-Pollinator (13) π Interdisciplinary Bridge π Conference Polyglot (6) π§ Keyword Pioneer π Academic Marathon (5)
πΊοΈ
Taxonomy Completionist
(31)
π
Conference Polyglot
(6)
π
Renaissance Researcher
(7)
π€
Dynamic Duo
(13)
π
Keyword Champion
(2)
π₯
Unstoppable
(5)
π
Trend Setter
π
Century Club
(14)
ποΈ
Keyword Collector
(56)
β‘
Prolific Year
(7)
Conferences
ICLR (4)
ACL (3)
EMNLP (3)
NAACL (2)
NIPS (2)
AAAI (1)
EACL (1)
Top co-authors
Keywords
large language model
(6)
logical reasoning
(3)
automated theorem proving
(3)
language model
(3)
benchmark evaluation
(2)
mathematical reasoning
(2)
question answering
(2)
counterfactual reasoning
(2)
automated reasoning
(2)
formal verification
(2)
theorem proving
(2)
program synthesis
(1)
explanation generation
(1)
program verification
(1)
text generation
(1)
prompt engineering
(1)
probabilistic reasoning
(1)
decision making
(1)
knowledge graph reasoning
(1)
in-context learning
(1)
Papers
Test of Time: Rethinking Temporal Signal of Benchmark Contamination
ACL 2026
Uncovering Hidden Correctness in LLM Causal Reasoning via Symbolic Verification
EACL 2026
FormalAlign: Automated Alignment Evaluation for Autoformalization
ICLR 2025
ORMind: A Cognitive-Inspired End-to-End Reasoning Framework for Operations Research
ACL 2025
OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling
ICLR 2025
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
ICLR 2024
LEGO-Prover: Neural Theorem Proving with Growing Libraries
ICLR 2024
Proving Theorems Recursively
NIPS 2024
CLOMO: Counterfactual Logical Modification with Large Language Models
ACL 2024
AlignedCoT: Prompting Large Language Models via Native-Speaking Demonstrations
EMNLP 2024
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
NIPS 2024
ATG: Benchmarking Automated Theorem Generation for Generative Language Models
NAACL 2024
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
EMNLP 2023
MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure
EMNLP 2022
DAGN: Discourse-Aware Graph Network for Logical Reasoning
NAACL 2021
REM-Net: Recursive Erasure Memory Network for Commonsense Evidence Refinement
AAAI 2021