Copertina

Botfip-LLM: An Enhanced Multimodal Scientific Computing Framework Leveraging Knowledge Distillation from Large Language Models

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Chen, Tianhao, Xu, Pengbo
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Symbolic Computation
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Bootstrapping OTS-Funcimg Pre-training Model (Botfip) -- A Comprehensive Symbolic Regression Framework
di: Chen, Tianhao, et al.
Pubblicazione: (2024)

Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
di: Zhang, Naifeng, et al.
Pubblicazione: (2025)

Symbolic Regression with Multimodal Large Language Models and Kolmogorov Arnold Networks
di: Harvey, Thomas R., et al.
Pubblicazione: (2025)

Computational Explorations on Semifields
di: Dumas, Jean-Guillaume, et al.
Pubblicazione: (2026)

A Dataset of Nonlinear Equations for Subdivision
di: Xu, Juan, et al.
Pubblicazione: (2026)

Software Portability for Computer Algebra
di: Norman, Arthur C., et al.
Pubblicazione: (2025)

On the Computation of Newton Polytopes of Eliminants
di: Mohr, Rafael, et al.
Pubblicazione: (2025)

Computing Krylov iterates in the time of matrix multiplication
di: Neiger, Vincent, et al.
Pubblicazione: (2024)

A Knowledge Graph Informing Soil Carbon Modeling
di: Shirvani-Mahdavi, Nasim, et al.
Pubblicazione: (2025)

Computing a holonomic submodule of the partial Weyl closure
di: Brochet, Hadrien
Pubblicazione: (2026)

ONSEP: A Novel Online Neural-Symbolic Framework for Event Prediction Based on Large Language Model
di: Yu, Xuanqing, et al.
Pubblicazione: (2024)

Computing submatrices of the Hermite normal form of a structured polynomial matrix
di: Berthomieu, Jérémy, et al.
Pubblicazione: (2026)

Evolving Scientific Discovery by Unifying Data and Background Knowledge with AI Hilbert
di: Cory-Wright, Ryan, et al.
Pubblicazione: (2023)

Scene-Driven Multimodal Knowledge Graph Construction for Embodied AI
di: Yaoxian, Song, et al.
Pubblicazione: (2023)

Two Algorithms for Computing Rational Univariate Representations of Zero-Dimensional Ideals with Parameters
di: Wang, Dingkang, et al.
Pubblicazione: (2024)

An Algorithm for Computing the Leading Monomials of a Minimal Groebner Basis of Generic Sequences
di: Sakata, Kosuke, et al.
Pubblicazione: (2025)

Computing greatest common divisor of several parametric univariate polynomials via generalized subresultant polynomials
di: Hong, Hoon, et al.
Pubblicazione: (2023)

Computing braids from approximate data
di: Guillemot, Alexandre, et al.
Pubblicazione: (2026)

DNLSAT: A Dynamic Variable Ordering MCSAT Framework for Nonlinear Real Arithmetic
di: Wang, Zhonghan
Pubblicazione: (2024)

An Automatic Pipeline for the Integration of Python-Based Tools into the Galaxy Platform: Application to the anvi'o Framework
di: Cumbo, Fabio, et al.
Pubblicazione: (2026)

Large Language Models as Mirrors of Societal Moral Standards
di: Papadopoulou, Evi, et al.
Pubblicazione: (2024)

Distilling Formal Logic into Neural Spaces: A Kernel Alignment Approach for Signal Temporal Logic
di: Candussio, Sara, et al.
Pubblicazione: (2026)

Fast Matrix Multiplication in Small Formats: Discovering New Schemes with an Open-Source Flip Graph Framework
di: Perminov, A. I.
Pubblicazione: (2026)

Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting
di: Huang, Wei-Jia, et al.
Pubblicazione: (2026)

Advancing Symbolic Discovery on Unsupervised Data: A Pre-training Framework for Non-degenerate Implicit Equation Discovery
di: Yufei, Kuang, et al.
Pubblicazione: (2025)

Ontolearn-A Framework for Large-scale OWL Class Expression Learning in Python
di: Demir, Caglar, et al.
Pubblicazione: (2025)

Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits
di: Hofstadler, Clemens, et al.
Pubblicazione: (2026)

LLM4ED: Large Language Models for Automatic Equation Discovery
di: Du, Mengge, et al.
Pubblicazione: (2024)

Parsing the Language of Expression: Enhancing Symbolic Regression with Domain-Aware Symbolic Priors
di: Huang, Sikai, et al.
Pubblicazione: (2025)

Computation of the Hilbert Series for the Support-Minors Modeling of the MinRank Problem
di: Bardet, Magali, et al.
Pubblicazione: (2025)

Flip Graphs for Polynomial Multiplication
di: Chen, Shaoshi, et al.
Pubblicazione: (2025)

Enhancing Zero-Shot Chain-of-Thought Reasoning in Large Language Models through Logic
di: Zhao, Xufeng, et al.
Pubblicazione: (2023)

Reconciling Explanations in Multi-Model Systems through Probabilistic Argumentation
di: Hong, Shengxin, et al.
Pubblicazione: (2024)

Bridging the Gap Between Scientific Laws Derived by AI Systems and Canonical Knowledge via Abductive Inference with AI-Noether
di: Srivastava, Karan, et al.
Pubblicazione: (2025)

How to generate all possible rational Wilf-Zeilberger forms?
di: Chen, Shaoshi, et al.
Pubblicazione: (2024)

Creative Telescoping
di: Chen, Shaoshi, et al.
Pubblicazione: (2025)

Jet Expansions of Residual Computation
di: Chen, Yihong, et al.
Pubblicazione: (2024)

GOFAI meets Generative AI: Development of Expert Systems by means of Large Language Models
di: Garrido-Merchán, Eduardo C., et al.
Pubblicazione: (2025)

Green Computing: The Ultimate Carbon Destroyer for a Sustainable Future
di: Amiri, Sayed Mahbub Hasan, et al.
Pubblicazione: (2025)

ViSymRe: Vision Multimodal Symbolic Regression
di: Li, Da, et al.
Pubblicazione: (2024)