Andrew C Yao
4 papers · 2025–2025 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
π
Interdisciplinary Bridge
π
Conference Polyglot
(3)
π
Cross-Pollinator
(14)
πΊοΈ
Taxonomy Completionist
(17)
π§
Keyword Pioneer
Conferences
ACL (2)
AAAI (1)
ICML (1)
Top co-authors
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 datum
(1)
data selection
(1)
continual pretraining
(1)
hierarchical attention
(1)
proof generation
(1)
generative classifier
(1)
formal theorem proving
(1)
iterative question composing
(1)
zero-shot learning
(1)
iterative composition
(1)
theorem proving
(1)
Papers
Augmenting Math Word Problems via Iterative Question Composing
AAAI 2025
Hierarchical Attention Generates Better Proofs
ACL 2025
Autonomous Data Selection with Zero-shot Generative Classifiers for Mathematical Texts
ACL 2025
ProofAug: Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis
ICML 2025