#artificialintelligence #deeplearning #nlp #techenthusiast #ai The new AI model by Google, as per its marketing team, it seem to be a serious enhancement in all AI models till date. The point is how real are these and what were the prompts given before the outputs were recorded. Given in a message on the internet, GoogleContinue reading “Google Gemini or Bard versus chatGPT”
Category Archives: Deep Learning
Data and Information as Input to ML/DL/LLM Models
Note: The article is present on author’s other social media accounts as well. Abstract Here is a summary of the some ways which may effect the results in ML/DL/LLM to the betterment. We always want the results to improve, in this quest comes the use of information. Yes, one way is to find new networkContinue reading “Data and Information as Input to ML/DL/LLM Models”
Deep Network-based Automated Theorem Prover
This is a review of the paper — “Deep network guided proof search”. arXiv preprint arXiv:1701.06972, as given in reference [1]. — Automated first-order theorem provers (ATP) can be used to prove mathematical theorems and these can also be used in applications such as program analysis, theory exploration, and reasoning. — Higher-order logic, Naive Bayes,Continue reading “Deep Network-based Automated Theorem Prover”
Artificial Intelligence, Computer Science & Mathematics 