2 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.LO2019★ 2 cited
Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract)
Burak Ekici, Arjun Viswanathan, Yoni Zohar +2
This work is a part of an ongoing effort to prove the correctness of invertibility conditions for the theory of fixed-width bit-vectors, which are used to solve quantified bit-vect…
stat.ML2016★ 2 cited
Generalizing the Kelly strategy
Arjun Viswanathan
Prompted by a recent experiment by Victor Haghani and Richard Dewey, this note generalises the Kelly strategy (optimal for simple investment games with log utility) to a large clas…