Andrew C Yao
4 papers
· 2025–2025
· 3 conferences
· across top CS/AI conferences
Achievements
π
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)