Skip to content
JournalsWorldThe Global Research Discovery Platform
Login Sign Up
Featured Dataset

Evaluating Satisfiability Solving with LLMs

Evaluating Satisfiability Solving with LLMs

Artifact for the FSE paper "Evaluating Satisfiability Solving with LLMs"

👤
CreatorZhang, Leizhen
📅
Published2026-04-12
🔗
DOI10.5281/zenodo.19524484
📊
Downloads33
⚖️
Licensecc-by-4.0
File Size159.1 MB
Data TypeDataset
Published2026
Licensecc-by-4.0
Total Views121
Total Downloads33

Artifact for the FSE paper “Evaluating Satisfiability Solving with LLMs”

📤 Share this page

Found this useful? Share it with your network.

𝕏XfFacebookinLinkedIn✆WhatsApp✈Telegram✉EmailMMendeley
✓ Link copied! Paste it on ResearchGate / Academia.edu
📦
Evaluating Satisfiability Solving with LLMs (Full Dataset)159.1 MB
⬇
📄
ReadmeVia DOI record
↗

Files are hosted on the source repository. Click download to access the full dataset.

Zhang, Leizhen (2026). Evaluating Satisfiability Solving with LLMs. https://doi.org/10.5281/zenodo.19524484
Discover

Related Datasets

RAD-ChestCT Dataset ⬇ 6,100,234 View → CoVaxxy Tweet IDs data set ⬇ 4,584,393 View → The 30 m annual land cover datasets and its dynamics in China… ⬇ 3,785,135 View → Coronavirus Twitter Data: A collection of COVID-19 tweets with automated annotations ⬇ 2,259,399 View → GLC_FCS30D: the first global 30-m land-cover dynamic monitoring product with fine classification… ⬇ 2,069,486 View → Improving 30-meter global impervious surface area (GISA) mapping: New method and dataset ⬇ 1,833,998 View → LUNA16 Part 1/2 ⬇ 1,702,656 View → ReCANVo: A Dataset of Real-World Communicative and Affective Nonverbal Vocalizations ⬇ 1,668,947 View → CNBH-10 m: A first Chinese building height at 10 m resolution ⬇ 1,484,399 View → BreathBase: Intra-Speech Breathing Dataset ⬇ 1,398,468 View → The Ryerson Audio-Visual Database of Emotional Speech and Song (RAVDESS) ⬇ 1,329,564 View → GLC_FCS30: Global land-cover product with fine classification system at 30 m using… ⬇ 1,109,411 View →