:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	He, Yiming, Zou, Jia, Zhang, Xiaokai, Zhu, Na, Leng, Tuo
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Artificial Intelligence
Accesso online:	https://arxiv.org/abs/2402.09047
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning
di: Zou, Jia, et al.
Pubblicazione: (2024)

FGeo-HyperGNet: Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network
di: Zhang, Xiaokai, et al.
Pubblicazione: (2024)

Diagram Formalization Enhanced Multi-Modal Geometry Problem Solver
di: Zhang, Zeren, et al.
Pubblicazione: (2024)

FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving
di: Zhang, Xiaokai, et al.
Pubblicazione: (2023)

GOLD: Geometry Problem Solver with Natural Language Description
di: Zhang, Jiaxin, et al.
Pubblicazione: (2024)

GAPS: Geometry-Aware Problem Solver
di: Zhang, Jiaxin, et al.
Pubblicazione: (2024)

When Do Symbolic Solvers Enhance Reasoning in Large Language Models?
di: He, Zhiyuan, et al.
Pubblicazione: (2025)

LANS: A Layout-Aware Neural Solver for Plane Geometry Problem
di: Li, Zhong-Zhi, et al.
Pubblicazione: (2023)

On the Geometry of Games and their Solvers
di: Sun, Yaqi, et al.
Pubblicazione: (2026)

Memory-Enhanced Neural Solvers for Routing Problems
di: Chalumeau, Felix, et al.
Pubblicazione: (2024)

MacGyver: Are Large Language Models Creative Problem Solvers?
di: Tian, Yufei, et al.
Pubblicazione: (2023)

IoT-LLM: a framework for enhancing Large Language Model reasoning from real-world sensor data
di: An, Tuo, et al.
Pubblicazione: (2024)

Cleansing the Artificial Mind: A Self-Reflective Detoxification Framework for Large Language Models
di: Zhang, Kaituo, et al.
Pubblicazione: (2026)

Distance-aware Attention Reshaping: Enhance Generalization of Neural Solver for Large-scale Vehicle Routing Problems
di: Wang, Yang, et al.
Pubblicazione: (2024)

PRSI: Privacy-Preserving Recommendation Model Based on Vector Splitting and Interactive Protocols
di: Cao, Xiaokai, et al.
Pubblicazione: (2024)

DISCO: Efficient Diffusion Solver for Large-Scale Combinatorial Optimization Problems
di: Zhao, Hang, et al.
Pubblicazione: (2024)

From LLM to Conversational Agent: A Memory Enhanced Architecture with Fine-Tuning of Large Language Models
di: Liu, Na, et al.
Pubblicazione: (2024)

GODBench: A Benchmark for Multimodal Large Language Models in Video Comment Art
di: Lei, Yiming, et al.
Pubblicazione: (2025)

Large Language Models as End-to-end Combinatorial Optimization Solvers
di: Jiang, Xia, et al.
Pubblicazione: (2025)

A Text Classification Model Combining Adversarial Training with Pre-trained Language Model and neural networks: A Case Study on Telecom Fraud Incident Texts
di: Zhuoxian, Liu, et al.
Pubblicazione: (2024)

Achieving Olympia-Level Geometry Large Language Model Agent via Complexity Boosting Reinforcement Learning
di: Zhao, Haiteng, et al.
Pubblicazione: (2025)

Implicit Drifting Policy: One-Step Action Generation via Conditional Expert Geometry
di: Yang, Zemin, et al.
Pubblicazione: (2026)

ARS: Automatic Routing Solver with Large Language Models
di: Li, Kai, et al.
Pubblicazione: (2025)

AutoSAT: Automatically Optimize SAT Solvers via Large Language Models
di: Sun, Yiwen, et al.
Pubblicazione: (2024)

Cognitive Agent Compilation for Explicit Problem Solver Modeling
di: Moon, Hyeongdon, et al.
Pubblicazione: (2026)

From Implicit to Explicit: Enhancing Self-Recognition in Large Language Models
di: Zhou, Yinghan, et al.
Pubblicazione: (2025)

RL + Transformer = A General-Purpose Problem Solver
di: Rentschler, Micah, et al.
Pubblicazione: (2025)

GeoUni: A Unified Model for Generating Geometry Diagrams, Problems and Problem Solutions
di: Cheng, Jo-Ku, et al.
Pubblicazione: (2025)

Inference Scaling Laws: An Empirical Analysis of Compute-Optimal Inference for Problem-Solving with Language Models
di: Wu, Yangzhen, et al.
Pubblicazione: (2024)

CaDA: Cross-Problem Routing Solver with Constraint-Aware Dual-Attention
di: Li, Han, et al.
Pubblicazione: (2024)

Language Models are Crossword Solvers
di: Saha, Soumadeep, et al.
Pubblicazione: (2024)

AdaTP: Attention-Debiased Token Pruning for Video Large Language Models
di: Sun, Fengyuan, et al.
Pubblicazione: (2025)

Learning to Solve Compositional Geometry Routing Problems
di: Fan, Mingfeng, et al.
Pubblicazione: (2026)

EngiBench: A Benchmark for Evaluating Large Language Models on Engineering Problem Solving
di: Zhou, Xiyuan, et al.
Pubblicazione: (2025)

CAMO: A Conditional Neural Solver for the Multi-objective Multiple Traveling Salesman Problem
di: Li, Fengxiaoxiao, et al.
Pubblicazione: (2026)

Systematic Analysis of LLM Contributions to Planning: Solver, Verifier, Heuristic
di: Li, Haoming, et al.
Pubblicazione: (2024)

Language Models as Semantic Augmenters for Sequential Recommenders
di: Valizadeh, Mahsa, et al.
Pubblicazione: (2025)

IVP-VAE: Modeling EHR Time Series with Initial Value Problem Solvers
di: Xiao, Jingge, et al.
Pubblicazione: (2023)

Solver-Informed RL: Grounding Large Language Models for Authentic Optimization Modeling
di: Chen, Yitian, et al.
Pubblicazione: (2025)

ExpNote: Black-box Large Language Models are Better Task Solvers with Experience Notebook
di: Sun, Wangtao, et al.
Pubblicazione: (2023)