Dependent Types, Proof Assistant, Type-driven Development, Verification
Old Familiar Sting by Sholio
archiveofourown.orgยท11h
Students' Feedback Requests and Interactions with the SCRIPT Chatbot: Do They Get What They Ask For?
arxiv.orgยท1d
Evaluating the Performance of AI Text Detectors, Few-Shot and Chain-of-Thought Prompting Using DeepSeek Generated Text
arxiv.orgยท13h
To Trust or Not to Trust: On Calibration in ML-based Resource Allocation for Wireless Networks
arxiv.orgยท1d
Analytical Formulation of Autonomous Vehicle Freeway Merging Control with State-Dependent Discharge Rates
arxiv.orgยท1d
Things I Wish I Had Known Before Starting ML
towardsdatascience.comยท2d
Loading...Loading more...