Cover Image

Learning Randomized Reductions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Erata, Ferhat, Paradise, Orr, Typaldos, Thanos, Antonopoulos, Timos, Nguyen, ThanhVu, Goldwasser, Shafi, Piskac, Ruzica
Format:	Preprint
Published:	2024
Subjects:	Machine Learning Computational Complexity Programming Languages Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Models That Prove Their Own Correctness
by: Amit, Noga, et al.
Published: (2024)

Learning How to Cube
by: Erata, Ferhat, et al.
Published: (2026)

Inferring Properties of Graph Neural Networks
by: Nguyen, Dat, et al.
Published: (2024)

AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning
by: Erata, Ferhat, et al.
Published: (2024)

A Tool for Automated Reasoning About Traces Based on Configurable Formal Semantics
by: Erata, Ferhat, et al.
Published: (2024)

A DPLL(T) Framework for Verifying Deep Neural Networks
by: Duong, Hai, et al.
Published: (2023)

Verifying DNN-based Semantic Communication Against Generative Adversarial Noise
by: Le, Thanh, et al.
Published: (2026)

Automatizing Software Cognitive Complexity Reduction through Integer Linear Programming
by: Saborido, Rubén, et al.
Published: (2024)

ModelWriter: Text & Model-Synchronized Document Engineering Platform
by: Erata, Ferhat, et al.
Published: (2024)

'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions
by: Judson, Samuel, et al.
Published: (2023)

FGGM: Formal Grey-box Gradient Method for Attacking DRL-based MU-MIMO Scheduler
by: Le, Thanh, et al.
Published: (2025)

Multi-modal Learning for WebAssembly Reverse Engineering
by: Huang, Hanxian, et al.
Published: (2024)

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning
by: Sanchez-Stern, Alex, et al.
Published: (2024)

Parsimonious Optimal Dynamic Partial Order Reduction
by: Abdulla, Parosh Aziz, et al.
Published: (2024)

LPR: Large Language Models-Aided Program Reduction
by: Zhang, Mengxiao, et al.
Published: (2023)

DRReduce: Enhancing Syntax-Guided Program Reduction with Dependency Reconstruction
by: Feng, Qiong, et al.
Published: (2026)

Execution-Aware Program Reduction for WebAssembly via Record and Replay
by: Baek, Doehyun, et al.
Published: (2025)

LLM-Guided Compositional Program Synthesis
by: Khan, Ruhma, et al.
Published: (2025)

MLIR-Smith: A Novel Random Program Generator for Evaluating Compiler Pipelines
by: Ates, Berke, et al.
Published: (2026)

Defect Prediction with Content-based Features
by: Pham, Hung Viet, et al.
Published: (2024)

SIMCOPILOT: Evaluating Large Language Models for Copilot-Style Code Generation
by: Jiang, Mingchao, et al.
Published: (2025)

DINGO: Constrained Inference for Diffusion LLMs
by: Suresh, Tarun, et al.
Published: (2025)

Automatically Testing Functional Properties of Code Translation Models
by: Eniser, Hasan Ferit, et al.
Published: (2023)

SEVerA: Verified Synthesis of Self-Evolving Agents
by: Banerjee, Debangshu, et al.
Published: (2026)

The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages
by: Chen, Boqi, et al.
Published: (2024)

Coeditor: Leveraging Contextual Changes for Multi-round Code Auto-editing
by: Wei, Jiayi, et al.
Published: (2023)

A benchmark for vericoding: formally verified program synthesis
by: Bursuc, Sergiu, et al.
Published: (2025)

MLCPD: A Unified Multi-Language Code Parsing Dataset with Universal AST Schema
by: Gajjar, Jugal, et al.
Published: (2025)

IterGen: Iterative Semantic-aware Structured LLM Generation with Backtracking
by: Ugare, Shubham, et al.
Published: (2024)

JaxDecompiler: Redefining Gradient-Informed Software Design
by: Pochelu, Pierrick
Published: (2024)

Finding Missed Code Size Optimizations in Compilers using LLMs
by: Italiano, Davide, et al.
Published: (2024)

Correctness-Guaranteed Code Generation via Constrained Decoding
by: Li, Lingxiao, et al.
Published: (2025)

Language Models for Code Completion: A Practical Evaluation
by: Izadi, Maliheh, et al.
Published: (2024)

Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees
by: Zhang, Guanqin, et al.
Published: (2025)

Shedding Light in Task Decomposition in Program Synthesis: The Driving Force of the Synthesizer Model
by: Zenkner, Janis, et al.
Published: (2025)

Constrained Decoding for Fill-in-the-Middle Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars
by: Melcer, Daniel, et al.
Published: (2024)

Bootstrapping Fuzzers for Compilers of Low-Resource Language Dialects Using Language Models
by: Vaidya, Sairam, et al.
Published: (2025)

MoTCoder: Elevating Large Language Models with Modular of Thought for Challenging Programming Tasks
by: Li, Jingyao, et al.
Published: (2023)

Gradient-Based Program Repair: Fixing Bugs in Continuous Program Spaces
by: Silva, André, et al.
Published: (2025)

Large Language Models for Multilingual Code Intelligence: A Survey
by: Jiang, Chao, et al.
Published: (2026)