Copertina

Earthfarseer: Versatile Spatio-Temporal Dynamical Systems Modeling in One Model

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Wu, Hao, Liang, Yuxuan, Xiong, Wei, Zhou, Zhengyang, Huang, Wei, Wang, Shilong, Wang, Kun
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Artificial Intelligence I.2.3
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

The Cardinality of Identifying Code Sets for Soccer Ball Graph with Application to Remote Sensing
di: Latour, Anna L. D., et al.
Pubblicazione: (2024)

Probability Bracket Notation: Markov Sequence Projector of Visible and Hidden Markov Models in Dynamic Bayesian Networks
di: Wang, Xing M.
Pubblicazione: (2012)

On the Equivalence between Logic Programming and SETAF
di: Alcântara, João, et al.
Pubblicazione: (2024)

TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models
di: Akgün, Özgür, et al.
Pubblicazione: (2022)

DISCO: DISCovering Overfittings as Causal Rules for Text Classification Models
di: Zhang, Zijian, et al.
Pubblicazione: (2024)

NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models
di: Putra, Rizky Ramadhana, et al.
Pubblicazione: (2026)

Probability Bracket Notation: Multivariable Systems and Static Bayesian Networks
di: Wang, Xing M.
Pubblicazione: (2012)

Can Large Language Models Learn Independent Causal Mechanisms?
di: Gendron, Gaël, et al.
Pubblicazione: (2024)

Robust Uncertainty Quantification for Factual Generation of Large Language Models
di: Zhang, Yuhao, et al.
Pubblicazione: (2026)

Reasoning and Planning with Dynamically Changing Norms
di: Olson, Taylor, et al.
Pubblicazione: (2026)

Solving Combinatorial Counting Problems with Weighted First-Order Model Counting
di: Wang, Yuanhong, et al.
Pubblicazione: (2026)

Proving Olympiad Algebraic Inequalities without Human Demonstrations
di: Wei, Chenrui, et al.
Pubblicazione: (2024)

Foundation Models for Structural Health Monitoring
di: Benfenati, Luca, et al.
Pubblicazione: (2024)

A Neurosymbolic Framework for Geometric Reduction of Binary Forms
di: Kotsireas, Ilias, et al.
Pubblicazione: (2025)

Distilling Desired Comments for Enhanced Code Review with Large Language Models
di: Yu, Yongda, et al.
Pubblicazione: (2024)

LLM-Assisted Formalization Enables Deterministic Detection of Statutory Inconsistency in the Internal Revenue Code
di: Yadamsuren, Borchuluun, et al.
Pubblicazione: (2025)

Enhancing Large Language Models through Neuro-Symbolic Integration and Ontological Reasoning
di: Vsevolodovna, Ruslan Idelfonso Magana, et al.
Pubblicazione: (2025)

Twitch: Learning Abstractions for Equational Theorem Proving
di: Axelrod, Guy, et al.
Pubblicazione: (2026)

Optimistic Higher-Order Superposition
di: Bentkamp, Alexander, et al.
Pubblicazione: (2025)

Style2Code: A Style-Controllable Code Generation Framework with Dual-Modal Contrastive Representation Learning
di: Zhang, Dutao, et al.
Pubblicazione: (2025)

Algorithmic Trading Strategy Development and Optimisation
di: Yuan, Owen Nyo Wei, et al.
Pubblicazione: (2026)

The Stable Model Semantics for Higher-Order Logic Programming
di: Bogaerts, Bart, et al.
Pubblicazione: (2024)

An Explainable Collaborative Dialogue System using a Theory of Mind
di: Cohen, Philip R., et al.
Pubblicazione: (2023)

Fine-Tuning LLMs to Analyze Multiple Dimensions of Code Review: A Maximum Entropy Regulated Long Chain-of-Thought Approach
di: Yu, Yongda, et al.
Pubblicazione: (2025)

CoSQA+: Pioneering the Multi-Choice Code Search Benchmark with Test-Driven Agents
di: Gong, Jing, et al.
Pubblicazione: (2024)

Quantum Abduction: A New Paradigm for Reasoning under Uncertainty
di: Pareschi, Remo
Pubblicazione: (2025)

From Scientific Texts to Verifiable Code: Automating the Process with Transformers
di: Wang, Changjie, et al.
Pubblicazione: (2025)

By Their Fruits You Will Know Them: Comparing Formalizations of Law by the Decisions They Encode
di: Vernie, Julius, et al.
Pubblicazione: (2026)

Text-to-SQL based on Large Language Models and Database Keyword Search
di: Nascimento, Eduardo R., et al.
Pubblicazione: (2025)

Fill in the Blank: Exploring and Enhancing LLM Capabilities for Backward Reasoning in Math Word Problems
di: Deb, Aniruddha, et al.
Pubblicazione: (2023)

A logic for reasoning with inconsistent knowledge -- A reformulation using nowadays terminology (2024)
di: Roos, Nico
Pubblicazione: (2024)

Galois groups of polynomials and neurosymbolic networks
di: Shaska, Elira, et al.
Pubblicazione: (2025)

A Declarative System for Optimizing AI Workloads
di: Liu, Chunwei, et al.
Pubblicazione: (2024)

Advancing Explainability in Neural Machine Translation: Analytical Metrics for Attention and Alignment Consistency
di: Mishra, Anurag
Pubblicazione: (2024)

Source Code Summarization in the Era of Large Language Models
di: Sun, Weisong, et al.
Pubblicazione: (2024)

RubikSQL: Lifelong Learning Agentic Knowledge Base as an Industrial NL2SQL System
di: Chen, Zui, et al.
Pubblicazione: (2025)

Commenting Higher-level Code Unit: Full Code, Reduced Code, or Hierarchical Code Summarization
di: Sun, Weisong, et al.
Pubblicazione: (2025)

DeepCodeProbe: Towards Understanding What Models Trained on Code Learn
di: Majdinasab, Vahid, et al.
Pubblicazione: (2024)

CodeCompass: Navigating the Navigation Paradox in Agentic Code Intelligence
di: Paipuru, Tarakanath
Pubblicazione: (2026)

A Reduction of Input/Output Logics to SAT
di: Steen, Alexander
Pubblicazione: (2025)