Xiaohan Lin
5 papers · 2020–2024 · 4 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 Β· Gold
πΊοΈ
Taxonomy Completionist
(15)
π£
Hot Topic Early Bird
π
Renaissance Researcher
(5)
Venues
Top co-authors
Research topics
Artificial Intelligence
(3)
Deep Learning
(2)
Machine Learning
(2)
Natural Language Processing
(2)
Core AI
(2)
Optimization & Theory
(2)
Computer Science
(1)
Interdisciplinary
(1)
Knowledge & Reasoning
(1)
Applications
(1)
Architectures
(1)
Cognitive Science
(1)
Generation
(1)
Learning Paradigms
(1)
Learning Types
(1)
Keywords
theorem proving
(3)
large language model
(2)
mathematical reasoning
(2)
program synthesis
(1)
program verification
(1)
automated reasoning
(1)
formal verification
(1)
synaptic plasticity
(1)
attractor network
(1)
balanced network
(1)
language model
(1)
model fine-tuning
(1)
automated theorem proving
(1)
neural theorem proving
(1)
data synthesis
(1)
formal proof
(1)
interactive verification
(1)
knowledge reuse
(1)
automated theorem generation
(1)
neural dynamics
(1)
Papers
ATG: Benchmarking Automated Theorem Generation for Generative Language Models
NAACL 2024
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
NeurIPS 2024
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
ICLR 2024
Slow and Weak Attractor Computation Embedded in Fast and Strong E-I Balanced Neural Dynamics
NeurIPS 2023
An Attention-driven Two-stage Clustering Method for Unsupervised Person Re-Identification
ECCV 2020