Copertina

HintSMT

Fuente: Zenodo

Salvato in:

Dettagli Bibliografici
Autore principale:	Anonymous Authors
Natura:	Recurso digital
Pubblicazione:	Zenodo 2026
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Response for Questions from d5hH
di: Anonymous, Authors
Pubblicazione: (2026)

LLM-based Structure Extraction Prompt for the Mapping Study
di: Anonymous Authors
Pubblicazione: (2026)

Dataset associated with paper "Studying the Generalization Abilities of Graph Neural Networks for Combinatorial Optimization: A Case Study on the Staff Scheduling Problem"
di: Anonymous Authors
Pubblicazione: (2026)

Beyond Confidence: Rethinking Uncertainty Calibration in Deep Code Models
di: Anonymous Authors
Pubblicazione: (2026)

CoordSQL: A Multi-Agent Framework for Coordinated Natural Language to SQL Translation in Enterprise Databases
di: Anonymous Authors
Pubblicazione: (2026)

Online Supplementary Material
di: Anonymous Authors
Pubblicazione: (2026)

Replication package for ESEM2026 review
di: Anonymous, Authors
Pubblicazione: (2026)

Artifacts for "WebCQ: Cooperative Multi-Agent Reinforcement Learning for Scalable Web GUI Testing"
di: Anonymous Authors
Pubblicazione: (2026)

Structured-Noise Deconvolution Benchmark — Representative Sample
di: Anonymous, Authors
Pubblicazione: (2026)

Anonymous submission supplementary material
di: Anonymous, Authors
Pubblicazione: (2026)

On Automatically Generating Assertions for Validating Reported Failures in Android Apps
di: Anonymous Authors
Pubblicazione: (2025)

Representative cases for FAITH
di: Anonymous Authors
Pubblicazione: (2025)

Revisiting Android Malware Detectors: an Unbiased Study
di: Anonymous, Authors
Pubblicazione: (2025)

Anonymized repository for submission 248 - IEEE ICWS 2025
di: Anonymous Authors
Pubblicazione: (2025)

Anonymized repository for submission 248 - IEEE ICWS 2025
di: Anonymous Authors
Pubblicazione: (2025)

Revisiting Android Malware Detectors: an Unbiased Study
di: Anonymous, Authors
Pubblicazione: (2025)

ExpML Source Code and Small-Scale Evaluation Transcription
di: Anonymous Authors
Pubblicazione: (2025)

CRAKEN Supplementary Materials
di: Anonymous Authors
Pubblicazione: (2025)

Hint-Based SMT Proof Reconstruction
di: Clune, Joshua, et al.
Pubblicazione: (2026)

How Type Hints are Used in Python Libraries and Frameworks: Early Insights
di: Anonymous, Anonymous
Pubblicazione: (2025)

Adaptive Silent Data Corruption Detection for NPUs via Hierarchical MCTS
di: Authors
Pubblicazione: (2026)

Identifying and Bridging the Gap between Code Generation and Reasoning in LLMs
di: Authors
Pubblicazione: (2026)

Replication package for "On Coding Agent Issue Localization Accuracy An Exploratory Study"
di: Authors Blind
Pubblicazione: (2026)

ReSMT: An SMT-Based Tool for Reverse Engineering
di: Somech, Nir, et al.
Pubblicazione: (2025)

Lean-SMT: An SMT tactic for discharging proof goals in Lean
di: Mohamed, Abdalrhman, et al.
Pubblicazione: (2025)

Proceedings of the International Conference on Dublin Core and Metadata for e-Communities
di: AA.VV, Various Authors
Pubblicazione: (2010)

System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers
di: Bartholomew, Michael, et al.
Pubblicazione: (2025)

LLM2SMT: Building an SMT Solver with Zero Human-Written Code
di: Janota, Mikoláš, et al.
Pubblicazione: (2026)

Self-Matryoshka Theory (SMT)
di: Eines, Ekaterina
Pubblicazione: (2025)

Generative Hints
di: Dimnaku, Andy, et al.
Pubblicazione: (2025)

SMT(LIA) Sampling with High Diversity
di: Lai, Yong, et al.
Pubblicazione: (2025)

Efficient Volume Computation for SMT Formulas
di: Shaw, Arijit, et al.
Pubblicazione: (2025)

An SMT Theory for n-Indexed Sequences
di: Hara, Hichem Rami Ait El, et al.
Pubblicazione: (2024)

An SMT-LIB Theory of Finite Fields
di: Hader, Thomas, et al.
Pubblicazione: (2024)

Towards Comprehensive Sampling of SMT Solutions
di: Lyu, Shuangyu, et al.
Pubblicazione: (2025)

On CNF Conversion for SAT and SMT Enumeration
di: Masina, Gabriele, et al.
Pubblicazione: (2023)

An Encoding for CLP Problems in SMT-LIB
di: Amrollahi, Daneshvar, et al.
Pubblicazione: (2024)

On SMT Theory Design: The Case of Sequences
di: Hara, Hichem Rami Ait El, et al.
Pubblicazione: (2024)

HintPilot: LLM-based Compiler Hint Synthesis for Code Optimization
di: Jiang, Hanyun, et al.
Pubblicazione: (2026)

Qr-Hint: Actionable Hints Towards Correcting Wrong SQL Queries
di: Hu, Yihao, et al.
Pubblicazione: (2024)