Cong Tian
6 papers
· 2016–2026
· 4 conferences
· across top CS/AI conferences
Achievements
π
Renaissance Researcher
(5)
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Conference Polyglot
(3)
π
Academic Marathon
(9)
π
Cross-Pollinator
(8)
πΊοΈ
Taxonomy Completionist
(13)
π£
Hot Topic Early Bird
Conferences
IJCAI (3)
AAAI (1)
ACL (1)
ECCV (1)
Top co-authors
Keywords
temporal logic
(2)
formal verification
(2)
abstraction refinement
(1)
neural network verification
(1)
planning algorithm
(1)
formal specification
(1)
task decomposition
(1)
formal proof
(1)
search control knowledge
(1)
neuron similarity
(1)
counterexample-guided refinement
(1)
network size reduction
(1)
parallel training
(1)
natural language requirement
(1)
large language model
(1)
decision procedure
(1)
non-markovian decision process
(1)
reinforcement learning
(1)
separation logic
(1)
theorem proving
(1)