Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2402.08365
Cited By
v1
v2 (latest)
Learning Better Representations From Less Data For Propositional Satisfiability
13 February 2024
Mohamed Ghanem
Frederik Schmitt
Julian Siber
Bernd Finkbeiner
NAI
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Learning Better Representations From Less Data For Propositional Satisfiability"
1 / 1 papers shown
Title
Learning Representations Through Contrastive Neural Model Checking
Vladimir Krsmanovic
Matthias Cosler
Mohamed Ghanem
Bernd Finkbeiner
169
0
0
02 Oct 2025
1
