1 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
3 papers
Technical Report: A Formal Semantics for Java Symbolic Evaluation using Large-Block Encoding
Soha Hussein, Stephen McCamant, Kelton OBrien +3
Symbolic execution plays a critical role in software reliability, as they are used to find bugs, generate test cases, and provide correctness guarantees, particularly for safety-cr…
Ocular Disease Classification Using CNN with Deep Convolutional Generative Adversarial Network
Arun Kunwar, Dibakar Raj Pant, Jukka Heikkonen +1
The Convolutional Neural Network (CNN) has shown impressive performance in image classification because of its strong learning capabilities. However, it demands a substantial and b…
Super Level Sets and Exponential Decay: A Synergistic Approach to Stable Neural Network Training
Jatin Chaudhary, Dipak Nidhi, Jukka Heikkonen +2
The objective of this paper is to enhance the optimization process for neural networks by developing a dynamic learning rate algorithm that effectively integrates exponential decay…