Cover Image

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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Chen, Tianhao, Xu, Pengbo
Format:	Preprint
Published:	2024
Subjects:	Symbolic Computation
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Computing braids from approximate data
by: Guillemot, Alexandre, et al.
Published: (2026)

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

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

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

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

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

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

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

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

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

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

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

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

Flip Graphs for Polynomial Multiplication
by: Chen, Shaoshi, et al.
Published: (2025)

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

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

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

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

Creative Telescoping
by: Chen, Shaoshi, et al.
Published: (2025)

Jet Expansions of Residual Computation
by: Chen, Yihong, et al.
Published: (2024)

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

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

ViSymRe: Vision Multimodal Symbolic Regression
by: Li, Da, et al.
Published: (2024)