Proof Assistants, Correctness Guarantees, Logic Systems, Specification
PRs taking too long to be reviewed
blog.veeso.devยท2d
How to Name Your Spans
opentelemetry.ioยท5d
The AI Exchange: Innovators in Payment Security Featuring Salesforce
blog.pcisecuritystandards.orgยท4d
Micro-Health Interventions: Exploring Design Strategies for 1-Minute Interventions as a Gateway to Healthy Habits
arxiv.orgยท3d
Estimating carbon pools in the shelf sea environment: reanalysis or model-informed machine learning?
arxiv.orgยท2d
Structured Kernel Regression VAE: A Computationally Efficient Surrogate for GP-VAEs in ICA
arxiv.orgยท3d
PPL: Point Cloud Supervised Proprioceptive Locomotion Reinforcement Learning for Legged Robots in Crawl Spaces
arxiv.orgยท3d
User Perception of Attention Visualizations: Effects on Interpretability Across Evidence-Based Medical Documents
arxiv.orgยท2d
Optimizing Retrieval-Augmented Generation (RAG) for Colloquial Cantonese: A LoRA-Based Systematic Review
arxiv.orgยท4d
Loading...Loading more...