Fangquan Lin
5 papers · 2021–2025 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
π
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)
Papers
Filter-then-Generate: Large Language Models with Structure-Text Adapter for Knowledge Graph Completion
COLING 2025
Scale Down to Speed Up: Dynamic Data Selection for Reinforcement Learning
EMNLP 2025
BC-Prover: Backward Chaining Prover for Formal Theorem Proving
EMNLP 2024
Solving General Natural-Language-Description Optimization Problems with Large Language Models
NAACL 2024
Dynamic Popularity-Aware Contrastive Learning for Recommendation
ACML 2021