Imagen de Portada

Beyond Either-Or Reasoning: Transduction and Induction as Cooperative Problem-Solving Paradigms

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Zenkner, Janis, Sesterhenn, Tobias, Bartelt, Christian
Formato:	Preprint
Publicado:	2025
Materias:	Programming Languages Artificial Intelligence Machine Learning
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

A Compute-Matched Re-Evaluation of TroVE on MATH
por: Sesterhenn, Tobias, et al.
Publicado: (2025)

AbstractBeam: Enhancing Bottom-Up Program Synthesis using Library Learning
por: Zenkner, Janis, et al.
Publicado: (2024)

Combining Induction and Transduction for Abstract Reasoning
por: Li, Wen-Ding, et al.
Publicado: (2024)

RLAD: Training LLMs to Discover Abstractions for Solving Reasoning Problems
por: Qu, Yuxiao, et al.
Publicado: (2025)

When To Solve, When To Verify: Compute-Optimal Problem Solving and Generative Verification for LLM Reasoning
por: Singhi, Nishad, et al.
Publicado: (2025)

From Reasoning to Code: GRPO Optimization for Underrepresented Languages
por: Pennino, Federico, et al.
Publicado: (2025)

MCP4IFC: IFC-Based Building Design Using Large Language Models
por: Nithyanantham, Bharathi Kannan, et al.
Publicado: (2025)

Chain of Execution Supervision Promotes General Reasoning in Large Language Models
por: Chen, Nuo, et al.
Publicado: (2025)

Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus
por: Rocha, Filipe Marinho, et al.
Publicado: (2024)

Solving for X and Beyond: Can Large Language Models Solve Complex Math Problems with More-Than-Two Unknowns?
por: Kao, Kuei-Chun, et al.
Publicado: (2024)

From Large to Small: Transferring CUDA Optimization Expertise via Reasoning Graph
por: Gong, Junfeng, et al.
Publicado: (2025)

ANCORA: Learning to Question via Manifold-Anchored Self-Play for Verifiable Reasoning
por: Yang, Chengcao
Publicado: (2026)

LiteCoOp: Lightweight Multi-LLM Shared-Tree Reasoning for Model-Serving Compiler Optimizations
por: Tang, Annabelle Sujun, et al.
Publicado: (2026)

Disentangling Exploration of Large Language Models by Optimal Exploitation
por: Grams, Tim, et al.
Publicado: (2025)

Pass@K Policy Optimization: Solving Harder Reinforcement Learning Problems
por: Walder, Christian, et al.
Publicado: (2025)

Reasoning-SQL: Reinforcement Learning with SQL Tailored Partial Rewards for Reasoning-Enhanced Text-to-SQL
por: Pourreza, Mohammadreza, et al.
Publicado: (2025)

CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis
por: Wei, Anjiang, et al.
Publicado: (2025)

Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal Verification
por: Barone, Antonio Valerio Miceli, et al.
Publicado: (2026)

Towards LLM-based optimization compilers. Can LLMs learn how to apply a single peephole optimization? Reasoning is all LLMs need!
por: Fang, Xiangxin, et al.
Publicado: (2024)

Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning
por: Luo, Ziyan, et al.
Publicado: (2023)

ECCO: Evidence-Driven Causal Reasoning for Compiler Optimization
por: Pan, Haolin, et al.
Publicado: (2026)

Beyond Words: How Large Language Models Perform in Quantitative Management Problem-Solving
por: Kuzmanko, Jonathan
Publicado: (2025)

Understanding the Language Model to Solve the Symbolic Multi-Step Reasoning Problem from the Perspective of Buffer Mechanism
por: Wang, Zhiwei, et al.
Publicado: (2024)

VeriReason: Reinforcement Learning with Testbench Feedback for Reasoning-Enhanced Verilog Generation
por: Wang, Yiting, et al.
Publicado: (2025)

FCoReBench: Can Large Language Models Solve Challenging First-Order Combinatorial Reasoning Problems?
por: Mittal, Chinmay, et al.
Publicado: (2024)

Explore-Execute Chain: Towards an Efficient Structured Reasoning Paradigm
por: Yang, Kaisen, et al.
Publicado: (2025)

Max It or Miss It: Benchmarking LLM On Solving Extremal Problems
por: Gao, Binxin, et al.
Publicado: (2025)

Enhancing LLM Problem Solving with REAP: Reflection, Explicit Problem Deconstruction, and Advanced Prompting
por: Lingo, Ryan, et al.
Publicado: (2024)

Hound: Relation-First Knowledge Graphs for Complex-System Reasoning in Security Audits
por: Mueller, Bernhard
Publicado: (2025)

Graph of Thoughts: Solving Elaborate Problems with Large Language Models
por: Besta, Maciej, et al.
Publicado: (2023)

SymRTLO: Enhancing RTL Code Optimization with LLMs and Neuron-Inspired Symbolic Reasoning
por: Wang, Yiting, et al.
Publicado: (2025)

AutoBaxBuilder: Bootstrapping Code Security Benchmarking
por: von Arx, Tobias, et al.
Publicado: (2025)

Decomposing Elements of Problem Solving: What "Math" Does RL Teach?
por: Qin, Tian, et al.
Publicado: (2025)

Boosting of Thoughts: Trial-and-Error Problem Solving with Large Language Models
por: Chen, Sijia, et al.
Publicado: (2024)

EquiBench: Benchmarking Large Language Models' Reasoning about Program Semantics via Equivalence Checking
por: Wei, Anjiang, et al.
Publicado: (2025)

Internalizing Outcome Supervision into Process Supervision: A New Paradigm for Reinforcement Learning for Reasoning
por: Ding, Fei, et al.
Publicado: (2026)

ProofOptimizer: Training Language Models to Simplify Proofs without Human Demonstrations
por: Gu, Alex, et al.
Publicado: (2025)

REASONING COMPILER: LLM-Guided Optimizations for Efficient Model Serving
por: Tang, Annabelle Sujun, et al.
Publicado: (2025)

EnCompass: Enhancing Agent Programming with Search Over Program Execution Paths
por: Li, Zhening, et al.
Publicado: (2025)