2 papers
cs.AI2025
Diverse Inference and Verification for Advanced Reasoning
Iddo Drori, Gaston Longhitano, Mao Mao +11
Reasoning LLMs such as OpenAI o1, o3 and DeepSeek R1 have made significant progress in mathematics and coding, yet find challenging advanced tasks such as International Mathematica…
cs.SE2025
Analyzing the Resource Utilization of Lambda Functions on Mobile Devices: Case Studies on Kotlin and Swift
Chibundom U. Ejimuda, Gaston Longhitano, Reza Rawassizadeh
With billions of smartphones in use globally, the daily time spent on these devices contributes significantly to overall electricity consumption. Given this scale, even minor reduc…