Jakob, Robert
- A Falsification View of Success Typing
2015/02/04 by Robert Jakob, Peter Thiemann, Jakob, Robert +1 · 1 citation
Computer Science · #FOS: Computer and information sciences #Logic, programming, and type systems #Programming Languages (cs.PL) #Software Engineering Research #Software Testing and Debugging Techniques
- OpenTSLM: Time-Series Language Models for Reasoning over Multivariate Medical Text- and Time-Series Data
2025/10/02 by Patrick Langer, Langer, Patrick, Thomas Kaar +45 · 2 voices · 4 citations
Computer Science · #Machine Learning in Healthcare #Time Series Analysis and Forecasting #Topic Modeling #cs.LG
- Towards Embodied Agentic AI: Review and Classification of LLM- and VLM-Driven Robot Autonomy and Interaction
2025/08/07 by Salimpour, Sahar, Fu, Lei, Rachwał, Kajetan +8 · 5 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Robotics (cs.RO)