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
Marta Kwiatkowska
Affiliation:
Papers on Lattice
1
Total citations
0
Topics
1
Publication activity
papers/week, last 8 weeks
Research focus
Red-Teaming & Adversarial Robustness (1)
Frequent co-authors
Annelot Bosman (1)
Holger Hoos (1)
Jan van Rijn (1)
Papers (1)
Sep 22, 2026
Affiliation:
3w ago
Exploring Solver-Level Warmstarting for Neural Network Verification
Annelot Bosman
,
Marta Kwiatkowska
,
Holger Hoos
+1
Red-Teaming & Adversarial Robustness
Show more
