Fangquan Lin
5 papers
· 2021–2025
· 4 conferences
· across top CS/AI conferences
Achievements
π
Conference Polyglot
(4)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(13)
π§
Keyword Pioneer
π
Cross-Pollinator
(15)
Conferences
EMNLP (2)
ACML (1)
COLING (1)
NAACL (1)
Top co-authors
Keywords
large language model
(3)
contrastive learning
(1)
reinforcement learning
(1)
sample efficiency
(1)
curriculum learning
(1)
mathematical reasoning
(1)
theorem proving
(1)
instruction tuning
(1)
data selection
(1)
recommendation system
(1)
entity extraction
(1)
knowledge graph completion
(1)
user representation
(1)
formal logic
(1)
negative sampling
(1)
natural language interface
(1)
formal theorem proving
(1)
mathematical programming
(1)
external solver
(1)
backward chaining
(1)