Pragma Unroll
๐OCaml Multicore
Flag this post
I Taught an AI to Dream
๐ฒCellular Automata
Flag this post
Uncrossed Multiflows and Applications to Disjoint Paths
arxiv.orgยท1d
โกProcess Calculi
Flag this post
Endowing GPT-4 with a Humanoid Body: Building the Bridge Between Off-the-Shelf VLMs and the Physical World
arxiv.orgยท1d
โ๏ธCompiler Design
Flag this post
Quantum AI: Are We Building Castles in the Clouds? by Arvind Sundararajan
๐ฒCellular Automata
Flag this post
Benchmarking Generative AI Against Bayesian Optimization for Constrained Multi-Objective Inverse Design
arxiv.orgยท1d
๐งฎSMT Solvers
Flag this post
Robust Control Synthesis via Persistent Homology-Guided Network Pruning
๐ธ๏ธGraph Theory
Flag this post
Analyzing Sustainability Messaging in Large-Scale Corporate Social Media
arxiv.orgยท1d
๐งฉParser Combinators
Flag this post
Many-vs-Many Missile Guidance via Virtual Targets
arxiv.orgยท6h
๐คRobotics
Flag this post
InertialAR: Autoregressive 3D Molecule Generation with Inertial Frames
arxiv.orgยท2d
โ๏ธCompiler Design
Flag this post
Relation-Aware Bayesian Optimization of DBMS Configurations Guided by Affinity Scores
arxiv.orgยท2d
๐CBMC
Flag this post
Learning a Distance for the Clustering of Patients with Amyotrophic Lateral Sclerosis
arxiv.orgยท6h
๐ธ๏ธGraph Theory
Flag this post
PDE-SHARP: PDE Solver Hybrids Through Analysis & Refinement Passes
arxiv.orgยท1d
๐OCaml Multicore
Flag this post
Validating Deep Models for Alzheimer's 18F-FDG PET Diagnosis Across Populations: A Study with Latin American Data
arxiv.orgยท1d
๐จGADTs
Flag this post
Intentionality
lesswrong.comยท7h
๐ตDigital Minimalism
Flag this post
Loading...Loading more...