Lattice
Track papers across labs, topics, and trends.
馃
Lattice AI
AI
Papers
Digest
Topics
Labs
Collections
FAQ
Search papers...
鈱楰
Created by
Flynn Lachendro
Give Feedback
System theme
System theme
Papers
Digest
Topics
Labs
Saved
Search
Search papers, labs, and topics across Lattice.
Back
Aarti Gupta
Affiliation:
Papers on Lattice
1
Total citations
0
Topics
3
Publication activity
papers/week, last 8 weeks
Research focus
Eval Frameworks & Benchmarks (1)
Reasoning & Chain-of-Thought (1)
Tool Use & Agents (1)
Frequent co-authors
Yu-Wei Fan (1)
SooHyuk Cho (1)
Sharad Malik (1)
Papers (1)
Sep 22, 2026
Affiliation:
3w ago
Agentic-IC3: Enabling Semantic Proof Search in IC3 Model Checking
Yu-Wei Fan
,
SooHyuk Cho
,
Aarti Gupta
+1
Eval Frameworks & Benchmarks
Reasoning & Chain-of-Thought
Tool Use & Agents
Show more
