Computation and Language · Computer Science
ARSENAL: Automatic Requirements Specification Extraction from Natural Language
Shalini Ghosh, Daniel Elenius, Wenchao Li, Patrick Lincoln +2
2016-04-21
Mathematical Software · Computer Science
Efficient Differentiable Programming in a Functional Array-Processing Language
Amir Shaikhha, Andrew Fitzgibbon, Dimitrios Vytiniotis, Simon Peyton Jones +1
2018-06-07
Computation and Language · Computer Science
DeepSTL -- From English Requirements to Signal Temporal Logic
Jie He, Ezio Bartocci, Dejan Ničković, Haris Isakovic +1
2022-03-25
Artificial Intelligence · Computer Science
ReasonSTL: Bridging Natural Language and Signal Temporal Logic via Tool-Augmented Process-Rewarded Learning
Bowen Ye, Zhijian Li, Junyue Huang, Junkai Ma +1
2026-05-12
Instrumentation and Methods for Astrophysics · Physics
The Long Wavelength Array Software Library
Jayce Dowell, Daniel Wood, Kevin Stovall, Paul S. Ray +2
2013-08-27
Programming Languages · Computer Science
Array operators using multiple dispatch: a design methodology for array implementations in dynamic languages
Jeff Bezanson, Jiahao Chen, Stefan Karpinski, Viral Shah +1
2014-07-16
Distributed, Parallel, and Cluster Computing · Computer Science
Tools for Analyzing Parallel I/O
Julian M. Kunkel, Eugen Betke, Matt Bryson, Philip Carns +4
2018-07-19
Machine Learning · Computer Science
Reinforcement Learning Optimization for Large-Scale Learning: An Efficient and User-Friendly Scaling Library
Weixun Wang, Shaopan Xiong, Gengru Chen, Wei Gao +37
2025-06-09
Machine Learning · Computer Science
Awesome-OL: An Extensible Toolkit for Online Learning
Zeyi Liu, Songqiao Hu, Pengyu Han, Jiaming Liu +1
2025-07-29
Artificial Intelligence · Computer Science
Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider
2026-01-22
Distributed, Parallel, and Cluster Computing · Computer Science
Extended Abstract: Productive Parallel Programming with Parsl
Kyle Chard, Yadu Babuji, Anna Woodard, Ben Clifford +5
2022-05-05