Cong Tian
8 papers · 2016–2026 · 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 ↓+1 more ↓ Show less ↑
π Conference Polyglot Β· Bronze π Academic Marathon Β· Half π Interdisciplinary Bridge Β· Silver πΊοΈ Taxonomy Completionist (17) π£ Hot Topic Early Bird
π
Renaissance Researcher
(5)
Top co-authors
Research topics
Artificial Intelligence
(6)
Core AI
(6)
Computer Science
(2)
Deep Learning
(2)
Applications
(2)
Knowledge & Reasoning
(1)
Machine Learning
(1)
Natural Language Processing
(1)
Reinforcement Learning
(1)
Architectures
(1)
Methods
(1)
Models
(1)
Optimization & Theory
(1)
Reasoning
(1)
Resources & Methods
(1)
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
Bridging Kernel Drivers and Virtual Device Models with LLM-Powered Automation
ACL 2026
Formally Specifying the Intended Behavior of the Program: LLM-Driven Neuro-Symbolic Program Specification Synthesis
ACL 2026
T4NMTD: Transition-Centric Reinforcement Learning for Non-Markovian Task Decomposition
AAAI 2026
From Informal to Formal β Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
ACL 2025
Neuron Similarity-Based Neural Network Verification via Abstraction and Refinement
IJCAI 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