Coinduction, Bisimulation, Stream Calculus, Final Semantics
Knowledge Integration for Physics-informed Symbolic Regression Using Pre-trained Large Language Models
arxiv.org·2d
When LLM Meets Time Series: Can LLMs Perform Multi-Step Time Series Reasoning and Inference
arxiv.org·3d
Easier Painting Than Thinking: Can Text-to-Image Models Set the Stage, but Not Direct the Play?
arxiv.org·2d
Ultra Strong Machine Learning: Teaching Humans Active Learning Strategies via Automated AI Explanations
arxiv.org·3d
Language Models Do Not Follow Occam's Razor: A Benchmark for Inductive and Abductive Reasoning
arxiv.org·2d
Loading...Loading more...