Xiaohan Lin
5 papers · 2020–2024 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π Interdisciplinary Bridge π§ Keyword Pioneer π Conference Polyglot (4) π Cross-Pollinator (12) π Renaissance Researcher (7)
πΊοΈ
Taxonomy Completionist
(13)
Conferences
NIPS (2)
ECCV (1)
ICLR (1)
NAACL (1)
Top co-authors
Keywords
theorem proving
(2)
neural dynamics
(1)
mathematical reasoning
(1)
object tracking
(1)
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)
large language model
(1)
interactive verification
(1)
knowledge reuse
(1)
automated theorem generation
(1)
Papers
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
NIPS 2024
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
ICLR 2024
ATG: Benchmarking Automated Theorem Generation for Generative Language Models
NAACL 2024
Slow and Weak Attractor Computation Embedded in Fast and Strong E-I Balanced Neural Dynamics
NIPS 2023
An Attention-driven Two-stage Clustering Method for Unsupervised Person Re-Identification
ECCV 2020