Cong Tian
8 papers · 2016–2026 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π Renaissance Researcher (5) π Interdisciplinary Bridge π§ Keyword Pioneer π Conference Polyglot (3) π Academic Marathon (9)
π
Cross-Pollinator
(8)
πΊοΈ
Taxonomy Completionist
(13)
π£
Hot Topic Early Bird
Conferences
ACL (3)
IJCAI (3)
AAAI (1)
ECCV (1)
Top co-authors
Keywords
formal verification
(3)
large language model
(2)
temporal logic
(2)
abstraction refinement
(1)
static analysis
(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)
neuro-symbolic system
(1)
parallel training
(1)
vulnerability discovery
(1)
natural language requirement
(1)
decision procedure
(1)
automated repair
(1)
Papers
T4NMTD: Transition-Centric Reinforcement Learning for Non-Markovian Task Decomposition
AAAI 2026
Formally Specifying the Intended Behavior of the Program: LLM-Driven Neuro-Symbolic Program Specification Synthesis
ACL 2026
Bridging Kernel Drivers and Virtual Device Models with LLM-Powered Automation
ACL 2026
Neuron Similarity-Based Neural Network Verification via Abstraction and Refinement
IJCAI 2025
From Informal to Formal β Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
ACL 2025
Preventing Catastrophic Overfitting in Fast Adversarial Training: A Bi-level Optimization Perspective
ECCV 2024
Temporalising Separation Logic for Planning with Search Control Knowledge
IJCAI 2017
A Decision Procedure for a Fragment of Linear Time Mu-Calculus
IJCAI 2016