Yinya Huang
16 papers · 2021–2026 · 7 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+7 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (36) π Academic Marathon Β· Sprint π Conference Polyglot Β· Silver π Interdisciplinary Bridge Β· Gold π£ Hot Topic Early Bird
π€
Dynamic Duo
(13)
π
Renaissance Researcher
(5)
π₯
Unstoppable Β· Bronze
β‘
Prolific Year Β· Productive
π
Century Club Β· Bronze
π
Trend Setter
ποΈ
Keyword Collector
(70)
Top co-authors
Research topics
Artificial Intelligence
(13)
Core AI
(12)
Machine Learning
(8)
Natural Language Processing
(8)
Resources & Methods
(5)
Deep Learning
(4)
Knowledge & Reasoning
(4)
Learning Types Β· Machine Learning
(4)
Mathematics & Optimization
(3)
Generation
(3)
Optimization & Theory
(3)
Reasoning
(3)
Applications
(2)
Core Methods
(2)
Learning Types Β· Deep Learning
(2)
Keywords
large language model
(9)
language model
(3)
automated theorem proving
(3)
theorem proving
(3)
logical reasoning
(3)
formal verification
(3)
mathematical reasoning
(3)
formal proof
(3)
question answering
(2)
neural theorem proving
(2)
automated reasoning
(2)
data synthesis
(2)
counterfactual reasoning
(2)
benchmark evaluation
(2)
explanation generation
(1)
text generation
(1)
decision making
(1)
prompt engineering
(1)
natural language processing
(1)
zero-shot 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
OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling
ICLR 2025
ORMind: A Cognitive-Inspired End-to-End Reasoning Framework for Operations Research
ACL 2025
AlignedCoT: Prompting Large Language Models via Native-Speaking Demonstrations
EMNLP 2024
ATG: Benchmarking Automated Theorem Generation for Generative Language Models
NAACL 2024
CLOMO: Counterfactual Logical Modification with Large Language Models
ACL 2024
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
NeurIPS 2024
LEGO-Prover: Neural Theorem Proving with Growing Libraries
ICLR 2024
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
ICLR 2024
Proving Theorems Recursively
NeurIPS 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