Imagen de Portada

LOGIGEN: Logic-Driven Generation of Verifiable Agentic Tasks

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Zeng, Yucheng, Lu, Weipeng, Liu, Linyun, Li, Shupeng, Qu, Zitian, Zhu, Chenghao, Li, Shaofei, Tan, Zhengdong, Liu, Mengyue, Zhao, Haotian, Zhou, Zhe, Wu, Jianmin
Formato:	Preprint
Publicado:	2026
Materias:	Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

QianfanHuijin Technical Report: A Novel Multi-Stage Training Paradigm for Finance Industrial LLMs
por: Li, Shupeng, et al.
Publicado: (2025)

SWE-Hub: A Unified Production System for Scalable, Executable Software Engineering Tasks
por: Zeng, Yucheng, et al.
Publicado: (2026)

An Overview of Machine Learning-Driven Resource Allocation in IoT Networks
por: Li, Zhengdong
Publicado: (2024)

Critical realism as a lens for analysing inclusive pedagogical practice
por: Zitian Zeng
Publicado: (2026)

AEM: Adaptive Entropy Modulation for Multi-Turn Agentic Reinforcement Learning
por: Zhao, Haotian, et al.
Publicado: (2026)

AgentV-RL: Scaling Reward Modeling with Agentic Verifier
por: Zhang, Jiazheng, et al.
Publicado: (2026)

Generative Adversarial Network on Motion-Blur Image Restoration
por: Li, Zhengdong
Publicado: (2024)

Scaling the Scaling Logic: Agentic Meta-Synthesis of Logic Reasoning
por: Liu, Bowen, et al.
Publicado: (2026)

Infant Agent: A Tool-Integrated, Logic-Driven Agent with Cost-Effective API Usage
por: Lei, Bin, et al.
Publicado: (2024)

From Passive Consumption to Active Interaction: Exploring Interactive LLM Scaffolding to Support Learning Engagement
por: Chen, Zixin, et al.
Publicado: (2026)

Lifting Traces to Logic: Programmatic Skill Induction with Neuro-Symbolic Learning for Long-Horizon Agentic Tasks
por: Shao, Jie-Jing, et al.
Publicado: (2026)

Variational-Cartan Quantum Dynamics Simulations of Excitation Dynamics
por: Wan, Linyun, et al.
Publicado: (2024)

LogiNumSynth: Synthesizing Joint Logical-Numerical Reasoning Problems for Language Models
por: Liu, Yiwei, et al.
Publicado: (2025)

TaskCraft: Automated Generation of Agentic Tasks
por: Shi, Dingfeng, et al.
Publicado: (2025)

Rethinking Agentic RAG: Toward LLM-Driven Logical Retrieval Beyond Embeddings
por: Zeng, Yuqi, et al.
Publicado: (2026)

Circ_0000877 accelerates proliferation and immune escape of non‐small cell lung cancer cells by regulating microRNA ‐637/ E2F2 axis
por: Ting'an Chen, et al.
Publicado: (2024)

Controllable and Verifiable Tool-Use Data Synthesis for Agentic Reinforcement Learning
por: Xu, Siyuan, et al.
Publicado: (2026)

Agentic Rubrics as Contextual Verifiers for SWE Agents
por: Raghavendra, Mohit, et al.
Publicado: (2026)

Audio-Mind: An Auditable Agentic Framework for Audio Understanding
por: Wang, Yucheng, et al.
Publicado: (2026)

Grounding Generative Planners in Verifiable Logic: A Hybrid Architecture for Trustworthy Embodied AI
por: Wu, Feiyu, et al.
Publicado: (2026)

Towards Agentic Runtime Healing
por: Sun, Zhensu, et al.
Publicado: (2024)

Perceive, Verify and Understand Long Video: Multi-Granular Perception and Active Verification via Interactive Agents
por: Li, Jiahua, et al.
Publicado: (2025)

Virtual Bonding Enhanced Graph Self‐Supervised Learning for Molecular Property Prediction
por: Yongna Yuan, et al.
Publicado: (2025)

Seeking the Sufficiency and Necessity Causal Features in Multimodal Representation Learning
por: Chen, Boyu, et al.
Publicado: (2024)

Left handness in a four-level atomic system
por: Zhao, Shuncai, et al.
Publicado: (2026)

On the Rigour of Scientific Writing: Criteria, Analysis, and Insights
por: James, Joseph, et al.
Publicado: (2024)

Hardware-Efficient Photonic Tensor Core: Accelerating Deep Neural Networks with Structured Compression
por: Ning, Shupeng, et al.
Publicado: (2025)

Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic
por: de Medeiros, Markus, et al.
Publicado: (2026)

Constraint representation towards precise data-driven storytelling
por: Shi, Yu-Zhe, et al.
Publicado: (2024)

Verifiable Cloud‐Assisted Multi‐Party Private Set Intersection Cardinality
por: Gongli Li, et al.
Publicado: (2025)

SmartSnap: Proactive Evidence Seeking for Self-Verifying Agents
por: Cai, Shaofei, et al.
Publicado: (2025)

Are LLMs Stable Formal Logic Translators in Logical Reasoning Across Linguistically Diversified Texts?
por: Li, Qingchuan, et al.
Publicado: (2025)

LogicEnvGen: Task-Logic Driven Generation of Diverse Simulated Environments for Embodied AI
por: Wang, Jianan, et al.
Publicado: (2026)

Eltrombopag Inhibited Liver Cancer by Enhancing SMYD4 Protein Degradationvia TRIP12 Ubiquitinase
por: Jiale Li, et al.
Publicado: (2025)

Social Media-Assisted Interventions on Human Papillomavirus and Vaccination-Related Knowledge, Intention and Behavior: A Scoping Review
por: Li, Danyi, et al.
Publicado: (2022)

Optically Driven Eutectogel Pyroelectric for Efficient Deformable Photodetectors
por: Zhengdong Liu, et al.
Publicado: (2025)

Artificial Intelligence Driven Workflow for Accelerating Design of Novel Photosensitizers
por: Wang, Hongyi, et al.
Publicado: (2025)

Stability Analysis of Multilevel Cutting Slope Before and After Highway Expansion Under Rainfall Conditions
por: Shang Li, et al.
Publicado: (2026)

Explicit Logic Channel for Validation and Enhancement of MLLMs on Zero-Shot Tasks
por: Leong, Mei Chee, et al.
Publicado: (2026)

Towards Verifiable Multimodal Deep Research: A Multi-Agent Harness for Interleaved Report Generation
por: Zhang, Chenghao, et al.
Publicado: (2026)