Hootan Nakhost
According to our database1,
Hootan Nakhost
authored at least 23 papers
between 2005 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Teach Better or Show Smarter? On Instructions and Exemplars in Automatic Prompt Optimization.
CoRR, 2024
Proceedings of the Findings of the Association for Computational Linguistics, 2024
2023
Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023
Distilling Step-by-Step! Outperforming Larger Language Models with Less Training Data and Smaller Model Sizes.
Proceedings of the Findings of the Association for Computational Linguistics: ACL 2023, 2023
2022
2021
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2021, 2021
2020
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020
2014
Towards a theory of random walk planning: Regress factors, fair homogeneous graphs and extensions.
AI Commun., 2014
2013
Proceedings of the IJCAI 2013, 2013
2012
Proceedings of the Fifth Annual Symposium on Combinatorial Search, 2012
Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012
Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012
2011
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
2010
Proceedings of the Third Annual Symposium on Combinatorial Search, 2010
Action Elimination and Plan Neighborhood Graph Search: Two Algorithms for Plan Improvement.
Proceedings of the 20th International Conference on Automated Planning and Scheduling, 2010
2009
Proceedings of the IJCAI 2009, 2009
2007
Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP).
J. Univers. Comput. Sci., 2007
Proceedings of the MICAI 2007: Advances in Artificial Intelligence, 2007
2005
Formal Verification of the IEEE 802.1D Spanning Tree Protocol Using Extended <i>R</i>ebeca.
Proceedings of the First IPM International Workshop on Foundations of Software Engineering, 2005