📝 Lisp - DiToast · Scour

Test-Oriented Programming: rethinking coding for the GenAI era 🔍Static Analysis

arxiv.org·10h

NativeTernary: A Self-Delimiting Binary Encoding with Unary Run-Length Hierarchy Markers for Ternary Neural Network Weights, Structured Data, and General Computing Infrastructure 🤝Protocol Design

arxiv.org·3d

Dead Code Doesn't Talk: Authentic Requirements Elicitation in Introductory Software Engineering 📣Software Criticism

arxiv.org·1d

Security Concerns in Generative AI Coding Assistants: Insights from Online Discussions on GitHub Copilot 📣Software Criticism

arxiv.org·10h

Chatbot-Based Assessment of Code Understanding in Automated Programming Assessment Systems 📣Software Criticism

arxiv.org·1d

An Empirical Study on Influence-Based Pretraining Data Selection for Code Large Language Models 🎲Probabilistic Programming

arxiv.org·10h

AI-Assisted Unit Test Writing and Test-Driven Code Refactoring: A Case Study 🔍Static Analysis

arxiv.org·4d

Decision-Oriented Programming with Aporia 🎲Probabilistic Programming

arxiv.org·2d

Tokalator: A Context Engineering Toolkit for Artificial Intelligence Coding Assistants 📣Software Criticism

arxiv.org·10h

How to sketch a learning algorithm 🎲Probabilistic Programming

arxiv.org·1d

A convergence rate for the entropic JKO scheme 📊Information Theory

arxiv.org·10h

A Non-compact Positivity-Preserving Numerical Scheme for Elliptic Differential Equations Based on Mathematical Expectation 🎲Probabilistic Programming

arxiv.org·3d

ReCodeAgent: A Multi-Agent Workflow for Language-agnostic Translation and Validation of Large-scale Repositories 🎲Probabilistic Programming

arxiv.org·1d

Error Analysis of a Conforming FEM for Multidimensional Fragmentation Equations 🎲Probabilistic Programming

arxiv.org·10h

State-of-the-Art Arabic Language Modeling with Sparse MoE Fine-Tuning and Chain-of-Thought Distillation 🎲Probabilistic Programming

arxiv.org·1d

Anamorphic Encryption with CCA Security: A Standard Model Construction 🔐Cryptography

arxiv.org·10h

High-order parametric local discontinuous Galerkin methods for anisotropic curve-shortening flows 🎲Probabilistic Programming

arxiv.org·3d

Exploiting Aggregate Programming in a Multi-Robot Service Prototype 🎲Probabilistic Programming

arxiv.org·1d

AFGNN: API Misuse Detection using Graph Neural Networks and Clustering 🕸️Graph Theory

arxiv.org·10h

Logical Robots: Declarative Multi-Agent Programming in Logica ⚡Concurrency

arxiv.org·1d

Loading more...