⚙ Functional Programming - DiToast · Scour

A Gradual Probabilistic Lambda Calculus 🎲Probabilistic Programming

arxiv.org·2d

TypePro: Boosting LLM-Based Type Inference via Inter-Procedural Slicing 📝Lisp

arxiv.org·4d

BLaDA: Bridging Language to Functional Dexterous Actions within 3DGS Fields 🎲Probabilistic Programming

arxiv.org·6h

Metacat: a categorical framework for formal systems 🔄Category Theory

arxiv.org·6h

Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference 🔍Static Analysis

arxiv.org·2d

A semicontinuous relaxation of Saito's criterion and freeness as angular minimization 🕸️Graph Theory

arxiv.org·4d

Learning Markov Processes as Sum-of-Square Forms for Analytical Belief Propagation 🎲Probabilistic Programming

arxiv.org·6h

Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering 🔍Static Analysis

arxiv.org·2d

CoverAssert: Iterative LLM Assertion Generation Driven by Functional Coverage via Syntax-Semantic Representations 🔍Static Analysis

arxiv.org·1d

Resilience as a Dynamical Property of Risk Trajectories in CPSoS 🎲Probabilistic Programming

arxiv.org·6h

SkillRT: Compiling Skills for Efficient Execution Everywhere 🔍Static Analysis

arxiv.org·4d

Inference-Time Code Selection via Symbolic Equivalence Partitioning 🎲Probabilistic Programming

arxiv.org·1d

BLEG: LLM Functions as Powerful fMRI Graph-Enhancer for Brain Network Analysis 🕸️Graph Theory

arxiv.org·6h

Sparse-Aware Neural Networks for Nonlinear Functionals: Mitigating the Exponential Dependence on Dimension 🎯Randomized Algorithms

arxiv.org·1d

Zero-Sum Fictitious Play Cannot Converge to a Point ⚖Algorithmic Game Theory

arxiv.org·6h

ChatSVA: Bridging SVA Generation for Hardware Verification via Task-Specific LLMs ⚡Concurrency

arxiv.org·4d

Benchmarking Requirement-to-Architecture Generation with Hybrid Evaluation 🏗️Software Architecture

arxiv.org·1d

New Robust Streaming DMD with Forecasting 🎲Probabilistic Programming

arxiv.org·3d

CobbleDB: Modelling Levelled Storage by Composition 🧠Memory Management

arxiv.org·1d

Learned Dictionaries with Total Variation and Non-Negativity for Single-Cell Microscopy: Convergence Theory and Deterministic Multi-Channel Cell Feature Unification 🎲Probabilistic Programming

arxiv.org·2d

Loading more...