K. Yi

Artificial Intelligence · 2015

A researcher in the Science corpus: 1 paper; trusts 15 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

Whom K. Yi trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Veselin Raychev
  2. Thomas A. Henzinger
  3. Thomas Ball

Papers from K. Yi's perspective

Ordered by how strongly the researchers K. Yi trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Practical Bayesian Optimization of Machine Learning Algorithms
  2. Modular verification of software components in C (25th International Conference on Software Engineering, 2003. Proceedings.)
  3. Abstractions from proofs (ACM-SIGACT Symposium on Principles of Programming Languages)
  4. The SLAM project: debugging system software via static analysis
  5. A Tutorial on Bayesian Optimization of Expensive Cost Functions, with Application to Active User Modeling and Hierarchical Reinforcement Learning
  6. Predicting Program Properties from "Big Code"
  7. A Factor Graph Model for Software Bug Finding
  8. Application of Bayesian approach to numerical methods of global and stochastic optimization
  9. Code completion with statistical language models
  10. Software Verification with BLAST (SPIN)

Their papers