H
F
Articles from arxiv.org
Articles from arxiv.org
Channels
Economy
World
Technology
Programming
New/Niche Languages
JavaScript Stack
Chinese
Articles from
arxiv.org
The Elements of Differentiable Programming
(
arxiv.org
)
2024-3-25
programming
Generative AI Model Openness Framework Whitepaper
(
arxiv.org
)
2024-3-22
AI
AutoDev: Automated AI-Driven Development by Microsoft
(
arxiv.org
)
2024-3-17
Microsoft
AI
ExaLogLog: Space-Efficient and Practical Approximate Distinct Counting up to the Exa-Scale
(
arxiv.org
)
2024-3-14
Robust Contract Evolution in a TypeSafe MicroServices Architecture
(
arxiv.org
)
2024-3-14
Microservice
Architecture
GPQA: A Graduate-Level Google-Proof Q&A Benchmark
(
arxiv.org
)
2024-3-14
Google
From One to Many: Expanding the Scope of Toxicity Mitigation in Language Models
(
arxiv.org
)
2024-3-12
Integrating Static Code Analysis Toolchains
(
arxiv.org
)
2024-3-12
[2403.02778] Abstracting Denotational Interpreters
(
arxiv.org
)
2024-3-11
Let a Thousand Flowers Bloom: An Algebraic Representation for Edge Graphs
(
arxiv.org
)
2024-3-11
What Cannot be Skipped About the Skiplist: A Survey of Skiplists and Their Applications in Big Data Systems
(
arxiv.org
)
2024-3-10
Big Data
Case Study: Securing MMU-less Linux Using CHERI
(
arxiv.org
)
2024-3-9
Linux
ELI5 - Time Series LLMs
(
arxiv.org
)
2024-3-8
Time Series
ArtPrompt: ASCII Art-based Jailbreak Attacks against Aligned LLMs
(
arxiv.org
)
2024-3-2
SECOMP: Formally Secure Compilation of Compartmentalized C Programs
(
arxiv.org
)
2024-2-28
An Empirical Evaluation of LLMs for Solving Offensive Security Challenges
(
arxiv.org
)
2024-2-26
InfoSec
Hallucination is Inevitable: An Innate Limitation of Large Language Models
(
arxiv.org
)
2024-2-26
Automated Unit Test Improvement using Large Language Models at Meta
(
arxiv.org
)
2024-2-17
Hydragen: High-Throughput LLM Inference with Shared Prefixes
(
arxiv.org
)
2024-2-13
Conway's Game of Life is Omniperiodic
(
arxiv.org
)
2024-2-12
Game
Bluesky and the AT Protocol: Usable Decentralized Social Media
(
arxiv.org
)
2024-2-7
Social Media
Decentralize
Bluesky and the at Protocol
(
arxiv.org
)
2024-2-7
Validation of Modern JSON Schema: Formalization and Complexity
(
arxiv.org
)
2024-2-6
JSON
[2401.12744] Monadic Intersection Types, Relationally (Extended Version)
(
arxiv.org
)
2024-1-24
The possibility of making $138,000 from shredded banknote pieces using computer vision
(
arxiv.org
)
2024-1-24
Yacc is dead (2010)
(
arxiv.org
)
2024-1-23
A Modern Compiler for the French Tax Code
(
arxiv.org
)
2024-1-23
France
Tax
Dissecting the NVIDIA Volta GPU Architecture via Microbenchmarking (2018)
(
arxiv.org
)
2024-1-20
Architecture
Nvidia
Mission: Impossible Language Models
(
arxiv.org
)
2024-1-16
Superconductors: Possible Meissner effect near room temperature in copper-substituted lead apatite
(
arxiv.org
)
2024-1-4
Previous Page
Next Page