Andrew C Yao
4 papers · 2025–2025 · 3 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 ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Bronze
🗺️
Taxonomy Completionist
(18)
Top co-authors
Research topics
Artificial Intelligence
(4)
Machine Learning
(4)
Core AI
(4)
Deep Learning
(3)
Natural Language Processing
(2)
Application Areas
(2)
Applications
(1)
Architectures
(1)
Core Methods
(1)
Learning Paradigms
(1)
Learning Types · Deep Learning
(1)
Learning Types · Machine Learning
(1)
Models
(1)
Resources & Methods
(1)
Techniques
(1)
Keywords
mathematical reasoning
(3)
large language model
(2)
attention mechanism
(1)
data augmentation
(1)
question generation
(1)
synthetic data generation
(1)
token efficiency
(1)
hierarchical structure
(1)
synthetic data
(1)
data selection
(1)
continual pre-training
(1)
hierarchical attention
(1)
proof generation
(1)
generative classifier
(1)
formal theorem proving
(1)
iterative question composing
(1)
neural theorem prover
(1)
iterative composition
(1)
proof synthesis
(1)
llms
(1)
Papers
Augmenting Math Word Problems via Iterative Question Composing
AAAI 2025
Autonomous Data Selection with Zero-shot Generative Classifiers for Mathematical Texts
ACL 2025
Hierarchical Attention Generates Better Proofs
ACL 2025
ProofAug: Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis
ICML 2025