:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Brix, Christopher, Walczak, Julia, Lommen, Nils, Noll, Thomas
Format:	Preprint
Published:	2026
Subjects:	Machine Learning
Online Access:	https://arxiv.org/abs/2603.07764
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Learning-Based Ansatz Satisfying Boundary Conditions in Variational Problems
by: Florencio, Rafael, et al.
Published: (2025)

Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs
by: Lommen, Nils, et al.
Published: (2023)

ModuLoRA: Finetuning 2-Bit LLMs on Consumer GPUs by Integrating with Modular Quantizers
by: Yin, Junjie, et al.
Published: (2023)

Performance and Efficiency of Climate In-Situ Data Reconstruction: Why Optimized IDW Outperforms kriging and Implicit Neural Representation
by: Walczak, Jakub
Published: (2025)

Transformers Can Do Arithmetic with the Right Embeddings
by: McLeish, Sean, et al.
Published: (2024)

Can LLMs subtract numbers?
by: Jobanputra, Mayank, et al.
Published: (2025)

Leveraging Submodule Linearity Enhances Task Arithmetic Performance in LLMs
by: Dai, Rui, et al.
Published: (2025)

The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results
by: Brix, Christopher, et al.
Published: (2024)

On the Expressive Power of GNNs for Boolean Satisfiability
by: Peltonen, Saku, et al.
Published: (2026)

Boolean Satisfiability via Imitation Learning
by: Zhang, Zewei, et al.
Published: (2025)

Arithmetic Transformers Can Length-Generalize in Both Operand Length and Count
by: Cho, Hanseul, et al.
Published: (2024)

Understanding GNNs for Boolean Satisfiability through Approximation Algorithms
by: Hůla, Jan, et al.
Published: (2024)

Modular Automatic Complexity Analysis of Recursive Integer Programs
by: Lommen, Nils, et al.
Published: (2025)

SplitQuantV2: Enhancing Low-Bit Quantization of LLMs Without GPUs
by: Song, Jaewoo, et al.
Published: (2025)

The AI Definition and a Program Which Satisfies this Definition
by: Dobrev, Dimiter
Published: (2022)

The Unreasonable Effectiveness of Solving Inverse Problems with Neural Networks
by: Holl, Philipp, et al.
Published: (2024)

How Numerical Precision Affects Arithmetical Reasoning Capabilities of LLMs
by: Feng, Guhao, et al.
Published: (2024)

Benchmarking GPUs on SVBRDF Extractor Model
by: Kandel, Narayan, et al.
Published: (2023)

Robustness Verification of Graph Neural Networks Via Lightweight Satisfiability Testing
by: Lu, Chia-Hsuan, et al.
Published: (2025)

Learning to Solve Weighted Maximum Satisfiability with a Co-Training Architecture
by: Wan, Kaidi, et al.
Published: (2025)

Learning-Augmented Algorithms for Boolean Satisfiability
by: Attias, Idan, et al.
Published: (2025)

Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes
by: Zhou, Duo, et al.
Published: (2024)

Can LLMs be Fooled? Investigating Vulnerabilities in LLMs
by: Abdali, Sara, et al.
Published: (2024)

On Revealing the Hidden Problem Structure in Real-World and Theoretical Problems Using Walsh Coefficient Influence
by: Przewozniczek, M. W., et al.
Published: (2025)

Using LLMs to Directly Guess Conditional Expectations Can Improve Efficiency in Causal Estimation
by: Engh, Chris, et al.
Published: (2025)

Provably Bounding Neural Network Preimages
by: Kotha, Suhas, et al.
Published: (2023)

Making Hard Problems Easier with Custom Data Distributions and Loss Regularization: A Case Study in Modular Arithmetic
by: Saxena, Eshika, et al.
Published: (2024)

PipeFill: Using GPUs During Bubbles in Pipeline-parallel LLM Training
by: Arfeen, Daiyaan, et al.
Published: (2024)

Fair Decisions from Calibrated Scores: Achieving Optimal Classification While Satisfying Sufficiency
by: Benger, Etam, et al.
Published: (2026)

Can LLMs Understand Time Series Anomalies?
by: Zhou, Zihao, et al.
Published: (2024)

Can LLMs Lie? Investigation beyond Hallucination
by: Huan, Haoran, et al.
Published: (2025)

LoRA Fine-Tuning Without GPUs: A CPU-Efficient Meta-Generation Framework for LLMs
by: Arabpour, Reza, et al.
Published: (2025)

Learning Better Representations From Less Data For Propositional Satisfiability
by: Ghanem, Mohamed, et al.
Published: (2024)

Less Memory Means smaller GPUs: Backpropagation with Compressed Activations
by: Barley, Daniel, et al.
Published: (2024)

LLM-WikiRace Benchmark: How Far Can LLMs Plan over Real-World Knowledge Graphs?
by: Ziomek, Juliusz, et al.
Published: (2026)

SWE-Lancer: Can Frontier LLMs Earn $1 Million from Real-World Freelance Software Engineering?
by: Miserendino, Samuel, et al.
Published: (2025)

First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)
by: Brix, Christopher, et al.
Published: (2023)

RLHF Can Speak Many Languages: Unlocking Multilingual Preference Optimization for LLMs
by: Dang, John, et al.
Published: (2024)

AutoOR: Scalably Post-training LLMs to Autoformalize Operations Research Problems
by: Motwani, Sumeet Ramesh, et al.
Published: (2026)

LTLDoG: Satisfying Temporally-Extended Symbolic Constraints for Safe Diffusion-based Planning
by: Feng, Zeyu, et al.
Published: (2024)