Alkis Gotovos

According to our database1, Alkis Gotovos authored at least 15 papers between 2011 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Hints-In-Browser: Benchmarking Language Models for Programming Feedback Generation.
CoRR, 2024

2022
On the Existence of Universal Lottery Tickets.
Proceedings of the Tenth International Conference on Learning Representations, 2022

2021
Scaling up Continuous-Time Markov Chains Helps Resolve Underspecification.
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

2019
Sampling from Probabilistic Submodular Models.
PhD thesis, 2019

Strong Log-Concavity Does Not Imply Log-Submodularity.
CoRR, 2019

Fast Gaussian process based gradient matching for parameter identification in systems of nonlinear ODEs.
Proceedings of the 22nd International Conference on Artificial Intelligence and Statistics, 2019

2018
Discrete Sampling using Semigradient-based Product Mixtures.
Proceedings of the Thirty-Fourth Conference on Uncertainty in Artificial Intelligence, 2018

2015
Sampling from Probabilistic Submodular Models.
Proceedings of the Advances in Neural Information Processing Systems 28: Annual Conference on Neural Information Processing Systems 2015, 2015

Non-Monotone Adaptive Submodular Maximization.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Efficient visual exploration and coverage with a micro aerial vehicle in unknown environments.
Proceedings of the IEEE International Conference on Robotics and Automation, 2015

Safe Exploration for Optimization with Gaussian Processes.
Proceedings of the 32nd International Conference on Machine Learning, 2015

2014
Fully autonomous focused exploration for robotic environmental monitoring.
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

2013
Active Learning for Level Set Estimation.
Proceedings of the IJCAI 2013, 2013

Systematic Testing for Detecting Concurrency Errors in Erlang Programs.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2011
Test-driven development of concurrent programs using concuerror.
Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011, 2011


  Loading...