Cyclic Proofs for iGL via Corecursion
arxiv.org·1d
🦀Rust
Flag this post
GEPOC Parameters - Open Source Parametrisation and Validation for Austria, Version 2.0
arxiv.org·2d
☸️Kubernetes
Flag this post
Deep Learning-Accelerated Shapley Value for Fair Allocation in Power Systems: The Case of Carbon Emission Responsibility
arxiv.org·2d
☸️Kubernetes
Flag this post
Audience Amplified: Virtual Audiences in Asynchronously Performed AR Theater
arxiv.org·1d
☸️Kubernetes
Flag this post
InsurAgent: A Large Language Model-Empowered Agent for Simulating Individual Behavior in Purchasing Flood Insurance
arxiv.org·1d
☸️Kubernetes
Flag this post
Is Crowdsourcing a Puppet Show? Detecting a New Type of Fraud in Online Platforms
arxiv.org·2d
☸️Kubernetes
Flag this post
An Empirical Investigation of the Experiences of Dyslexic Software Engineers
arxiv.org·2d
🦀Rust
Flag this post
Temporal Fusion Transformer for Multi-Horizon Probabilistic Forecasting of Weekly Retail Sales
arxiv.org·2d
☸️Kubernetes
Flag this post
Estimation of Segmental Longitudinal Strain in Transesophageal Echocardiography by Deep Learning
arxiv.org·1d
☸️Kubernetes
Flag this post
Deep Value Benchmark: Measuring Whether Models Generalize Deep values or Shallow Preferences
arxiv.org·1d
☸️Kubernetes
Flag this post
Towards 1000-fold Electron Microscopy Image Compression for Connectomics via VQ-VAE with Transformer Prior
arxiv.org·2d
☸️Kubernetes
Flag this post
NOWS: Neural Operator Warm Starts for Accelerating Iterative Solvers
arxiv.org·1d
☸️Kubernetes
Flag this post
PROPEX-RAG: Enhanced GraphRAG using Prompt-Driven Prompt Execution
arxiv.org·2d
☸️Kubernetes
Flag this post
Language-Enhanced Generative Modeling for PET Synthesis from MRI and Blood Biomarkers
arxiv.org·1d
☸️Kubernetes
Flag this post
When Assurance Undermines Intelligence: The Efficiency Costs of Data Governance in AI-Enabled Labor Markets
arxiv.org·1d
🦀Rust
Flag this post
Sherlock: Reliable and Efficient Agentic Workflow Execution
arxiv.org·2d
☸️Kubernetes
Flag this post
Speech-DRAME: A Framework for Human-Aligned Benchmarks in Speech Role-Play
arxiv.org·2d
☸️Kubernetes
Flag this post
The Demon Hidden Behind Life's Ultra-Energy-Efficient Information Processing -- Demonstrated by Biological Molecular Motors
arxiv.org·3d
☸️Kubernetes
Flag this post
Design-Based Supply Chain Operations Research Model: Fostering Resilience And Sustainability In Modern Supply Chains
arxiv.org·1d
☸️Kubernetes
Flag this post
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.org·2d
☸️Kubernetes
Flag this post