Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2312.14949
Cited By
LLM Interactive Optimization of Open Source Python Libraries -- Case Studies and Generalization
8 December 2023
Andreas Florath
Re-assign community
ArXiv
PDF
HTML
Papers citing
"LLM Interactive Optimization of Open Source Python Libraries -- Case Studies and Generalization"
4 / 4 papers shown
Title
Can We Make Code Green? Understanding Trade-Offs in LLMs vs. Human Code Optimizations
Pooja Rani
Jan-Andrea Bard
June Sallou
Alexander Boll
Timo Kehrer
Alberto Bacchelli
65
0
0
26 Mar 2025
Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code
Andreas Florath
19
0
0
19 Mar 2024
Sparks of Artificial General Intelligence: Early experiments with GPT-4
Sébastien Bubeck
Varun Chandrasekaran
Ronen Eldan
J. Gehrke
Eric Horvitz
...
Scott M. Lundberg
Harsha Nori
Hamid Palangi
Marco Tulio Ribeiro
Yi Zhang
ELM
AI4MH
AI4CE
ALM
206
2,232
0
22 Mar 2023
ImageNet Large Scale Visual Recognition Challenge
Olga Russakovsky
Jia Deng
Hao Su
J. Krause
S. Satheesh
...
A. Karpathy
A. Khosla
Michael S. Bernstein
Alexander C. Berg
Li Fei-Fei
VLM
ObjD
279
39,083
0
01 Sep 2014
1