Suman Jana
16 papers · 2012–2026 · 6 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 ↓+6 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (30) π Academic Marathon Β· Half π Conference Polyglot Β· Silver π Interdisciplinary Bridge Β· Bronze π£ Hot Topic Early Bird
π₯
Mega-Team Β· Legion
π§¬
Topic Evolution
π
Renaissance Researcher
(5)
π
Conference Pioneer
π
Century Club Β· Bronze
ποΈ
Keyword Collector
(64)
Top co-authors
Research topics
Artificial Intelligence
(10)
Core AI
(10)
Machine Learning
(8)
Deep Learning
(4)
Computer Science
(3)
Application Areas
(3)
Optimization & Theory Β· Machine Learning
(3)
Mathematics & Optimization
(2)
Natural Language Processing
(2)
Architectures
(2)
Learning Types
(2)
Optimization
(2)
Optimization & Theory Β· Deep Learning
(2)
Knowledge & Reasoning
(1)
Applications
(1)
Keywords
neural network verification
(5)
branch and bound
(4)
bound propagation
(3)
formal verification
(2)
linear programming
(2)
mixed integer programming
(2)
large language model
(2)
safety property
(2)
adversarial attack
(2)
code generation
(1)
model debugging
(1)
fairness
(1)
semidefinite programming
(1)
convex relaxation
(1)
logic networks
(1)
program verification
(1)
truthfulness
(1)
distributionally robust optimization
(1)
perturbation robustness
(1)
adversarial training
(1)
Papers
Sense and Sensitivity: Examining the Influence of Semantic Recall on Long Context Code Understanding
ACL 2026
XOXO: Stealthy Cross-Origin Context Poisoning Attacks against AI Coding Assistants
ACL 2026
CodeSCM: Causal Analysis for Multi-Modal Code Generation
NAACL 2025
Beyond Accuracy: Evaluating Self-Consistency of Code Large Language Models with IdentityChain
ICLR 2024
Exploiting Code Symmetries for Learning Program Semantics
ICML 2024
Position: TrustLLM: Trustworthiness in Large Language Models
ICML 2024
A Branch and Bound Framework for Stronger Adversarial Attacks of ReLU Networks
ICML 2022
General Cutting Planes for Bound-Propagation-Based Neural Network Verification
NeurIPS 2022
Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Robustness Verification
NeurIPS 2021
DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols
OSDI 2021
Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers
ICLR 2021
CLN2INV: Learning Loop Invariants with Continuous Logic Networks
ICLR 2020
Ensuring Fairness Beyond the Training Data
NeurIPS 2020
HYDRA: Pruning Adversarially Robust Neural Networks
NeurIPS 2020
Efficient Formal Safety Analysis of Neural Networks
NeurIPS 2018
Eternal Sunshine of the Spotless Machine: Protecting Privacy with Ephemeral Channels
OSDI 2012