Topic: ai4math Goto Github
Some thing interesting about ai4math
Some thing interesting about ai4math
ai4math,This is the official repo for the paper "LLM-SR" on Scientific Equation Discovery and Symbolic Regression with LLMs
Organization: deep-symbolic-mathematics
ai4math,[ICLR 2024 Spotlight] This is the official code for the paper "SNIP: Bridging Mathematical Symbolic and Numeric Realms with Unified Pre-training"
Organization: deep-symbolic-mathematics
Home Page: https://openreview.net/forum?id=KZSEgJGPxu
ai4math,[ICLR 2024 Spotlight] SNIP on Symbolic Regression: Deep Symbolic Regression with Multimodal Pretraining
Organization: deep-symbolic-mathematics
ai4math,[NeurIPS 2023] This is the official code for the paper "TPSR: Transformer-based Planning for Symbolic Regression"
Organization: deep-symbolic-mathematics
Home Page: https://openreview.net/forum?id=0rVXQEeFEL
ai4math,Code & data for ICLR 2024 spotlight paper: π―MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
User: eleanor-h
Home Page: mustard: Mastering Uniform Synthesis of Theorem and Proof Data | OpenReview
ai4math,AI for Mathematics (AI4Math) paper list
User: j991222
ai4math,MathVista: data, code, and evaluation for Mathematical Reasoning in Visual Contexts
User: lupantech
Home Page: https://mathvista.github.io/
ai4math,Curation of resources for LLM mathematical reasoning, most of which are screened by @tongyx361 to ensure high quality and accompanied with elaborately-written concise descriptions to help readers get the gist as quickly as possible.
User: tongyx361
A declarative, efficient, and flexible JavaScript library for building user interfaces.
π Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. πππ
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google β€οΈ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.